CHECKING CODE FOR VULNERABILITIES AT ALL STAGES OF DEVELOPMENT
نویسندگان
چکیده
منابع مشابه
Detecting Security Vulnerabilities in C code with Type Checking
An emerging trend in programming language design is to allow for more properties about values and computations to be expressed in the language so that they can be checked automatically. This paper presents a flow-sensitive type checking algorithm for a type system of type qualifiers. We show that our type checker can detect common programming errors that often result in security vulnerabilities...
متن کاملAlgebraic Matching of Vulnerabilities in a Low-Level Code
This paper explores the algebraic matching approach for detection of vulnerabilities in binary codes. The algebraic programming system is used for implementing this method. It is anticipated that models of vulnerabilities and programs to be verified are presented as behavior algebra and action language specifications. The methods of algebraic matching are based on rewriting rules and techniques...
متن کاملComparison of optic lens proteins among animals at different stages of development
The purpose of this investigation was to study and compare the electrophoretic patterns of optic lensproteins of different species of domestic animals at pre- and post-natal ages. Optic lenses were removed from the embryo or adult sheep, cattle, goat, camel and chicken at the slaughter-house then homogenized and subjected to sodium dodecylsulfate polyacrylamide gel electrophoresis (SDS-PAGE). I...
متن کاملconditional copula-garch methods for value at risk of portfolio: the case of tehran stock exchange market
ارزش در معرض ریسک یکی از مهمترین معیارهای اندازه گیری ریسک در بنگاه های اقتصادی می باشد. برآورد دقیق ارزش در معرض ریسک موضوع بسیارمهمی می باشد و انحراف از آن می تواند موجب ورشکستگی و یا عدم تخصیص بهینه منابع یک بنگاه گردد. هدف اصلی این مطالعه بررسی کارایی روش copula-garch شرطی در برآورد ارزش در معرض ریسک پرتفویی متشکل از دو سهام می باشد و ارزش در معرض ریسک بدست آمده با روشهای سنتی برآورد ارزش د...
development and implementation of an optimized control strategy for induction machine in an electric vehicle
in the area of automotive engineering there is a tendency to more electrification of power train. in this work control of an induction machine for the application of electric vehicle is investigated. through the changing operating point of the machine, adapting the rotor magnetization current seems to be useful to increase the machines efficiency. in the literature there are many approaches wh...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Современные наукоемкие технологии (Modern High Technologies)
سال: 2021
ISSN: 1812-7320
DOI: 10.17513/snt.38534